Bend is a programming language designed to run code as fast as C on CPUs and CUDA on GPUs, while letting you define mathematical laws that the compiler enforces to prevent AI-generated code from breaking your app's core rules. You write laws in a LAWS.bend file, and the compiler demands proof that any code changes satisfy those rules before merging.

• The language compiles to single-core C speeds and parallelizes automatically across thousands of GPU cores without manual threading or locks.
• LAWS.bend lets you declare invariants (like "winning is impossible" or "array_set() never goes out of bounds") that the compiler mathematically verifies, blocking AI mistakes at commit time instead of catching them in production.
• The proof checker runs orders of magnitude faster than existing proof assistants—verifying files in under a second that would take minutes elsewhere—making formal verification practical for everyday development.